#include "cpu/exec/helper.h"
#define instr leave
make_helper(leave){
    cpu.esp = cpu.ebp;
    cpu.ebp = swaddr_read(cpu.esp, 4);
    cpu.esp += 4;
    print_asm(str(instr));
    return 1;
}